home *** CD-ROM | disk | FTP | other *** search
/ AmigActive 2 / AACD 2.iso / AACD / Programming / jikes-1.02 / src / class.h < prev    next >
Encoding:
C/C++ Source or Header  |  1999-08-26  |  43.0 KB  |  1,560 lines
  1. // $Id: class.h,v 1.11 1999/08/26 15:34:03 shields Exp $
  2. //
  3. // This software is subject to the terms of the IBM Jikes Compiler
  4. // License Agreement available at the following URL:
  5. // http://www.ibm.com/research/jikes.
  6. // Copyright (C) 1996, 1998, International Business Machines Corporation
  7. // and others.  All Rights Reserved.
  8. // You must accept the terms of that agreement to use this software.
  9. //
  10. #ifndef class_INCLUDED
  11. #define class_INCLUDED
  12.  
  13. #include "config.h"
  14. #include <stdio.h>
  15. #include "semantic.h"
  16. #include "access.h"
  17. #include "tuple.h"
  18. #include "op.h"
  19.  
  20.  
  21. class cp_info
  22. {
  23. protected:
  24.     u1 tag;
  25.  
  26.     //
  27.     //    u1 info[]
  28.     //
  29.     // cp_info can be viewed as a generic (abstract, in Java talk) class that must
  30.     // be "extended" to implement the real constant pool objects. The real objects
  31.     // contain the info...
  32.     //
  33.  
  34. public:
  35.  
  36.     cp_info(u1 _tag) : tag(_tag) {}
  37.     virtual ~cp_info() {}
  38.  
  39.     u1 Tag() { return tag; }
  40.  
  41.     virtual void Put(OutputBuffer &output_buffer)
  42.     {
  43.          assert("trying to put unsupported attribute kind" == NULL);
  44.     }
  45.  
  46. #ifdef TEST
  47.     virtual void Print(Tuple<cp_info *>& constant_pool)
  48.     {
  49.         Coutput << (int) tag;
  50.     }
  51.  
  52.     virtual void Describe(Tuple<cp_info *>& constant_pool)
  53.     {
  54.         Coutput << (int) tag;
  55.     }
  56. #endif
  57. };
  58.  
  59.  
  60. class CONSTANT_Class_info : public cp_info
  61. {
  62.     //
  63.     //    u1 tag;
  64.     //
  65.     // The tag is inherited from cp_info
  66.     //
  67.     u2 name_index;
  68.  
  69. public:
  70.  
  71.     CONSTANT_Class_info(u1 _tag, u2 _name_index) : cp_info(_tag),
  72.                                                    name_index(_name_index)
  73.     {}
  74.     virtual ~CONSTANT_Class_info() {}
  75.  
  76.     virtual void Put(OutputBuffer &output_buffer)
  77.     {
  78.         output_buffer.PutB1(tag);
  79.         output_buffer.PutB2(name_index);
  80.     }
  81.  
  82. #ifdef TEST
  83.     virtual void Print(Tuple<cp_info *>& constant_pool)
  84.     {
  85.         Coutput << "CONSTANT_Class_info: name_index " << (unsigned) name_index << "\n";
  86.     }
  87.  
  88.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  89.     {
  90.         Coutput << "Class:";  constant_pool[name_index] -> Describe(constant_pool);
  91.     }
  92. #endif
  93. };
  94.  
  95.  
  96. class CONSTANT_Double_info : public cp_info
  97. {
  98.     //
  99.     //    u1 tag;
  100.     //
  101.     // The tag is inherited from cp_info
  102.     //
  103.     u4 high_bytes;
  104.     u4 low_bytes;
  105.  
  106. public:
  107.  
  108.     CONSTANT_Double_info(u1 _tag, u4 _high_bytes, u4 _low_bytes) : cp_info(_tag),
  109.                                                                    high_bytes(_high_bytes),
  110.                                                                    low_bytes(_low_bytes)
  111.     {}
  112.     virtual ~CONSTANT_Double_info() {}
  113.  
  114.     virtual void Put(OutputBuffer &output_buffer)
  115.     {
  116.         output_buffer.PutB1(tag);
  117.         output_buffer.PutB4(high_bytes);
  118.         output_buffer.PutB4(low_bytes);
  119.     }
  120.  
  121. #ifdef TEST
  122.     virtual void Print(Tuple<cp_info *> &constant_pool)
  123.     {
  124.         Coutput << "CONSTANT_Double_info: bytes " << BaseLong(high_bytes, low_bytes).DoubleView() << "\n";
  125.     }
  126.  
  127.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  128.     {
  129.         Coutput << "D:";
  130.     }
  131. #endif
  132. };
  133.  
  134.  
  135. class CONSTANT_Fieldref_info : public cp_info
  136. {
  137.     //
  138.     //    u1 tag;
  139.     //
  140.     // The tag is inherited from cp_info
  141.     //
  142.     u2 class_index;
  143.     u2 name_and_type_index;
  144.  
  145. public:
  146.  
  147.     CONSTANT_Fieldref_info(u1 _tag, u2 _class_index, u2 _name_and_type_index) : cp_info(_tag),
  148.                                                                                 class_index(_class_index),
  149.                                                                                 name_and_type_index(_name_and_type_index)
  150.     {}
  151.     virtual ~CONSTANT_Fieldref_info() {}
  152.  
  153.     virtual void Put(OutputBuffer &output_buffer)
  154.     {
  155.          output_buffer.PutB1(tag);
  156.          output_buffer.PutB2(class_index);
  157.          output_buffer.PutB2(name_and_type_index);
  158.     }
  159.  
  160. #ifdef TEST
  161.     virtual void Print(Tuple<cp_info *> &constant_pool)
  162.     {
  163.         Coutput << "CONSTANT_Fieldref_info: class_index: "
  164.                 << (unsigned) class_index
  165.                 << ", name_and_type_index: "
  166.                 << (unsigned) name_and_type_index
  167.                 << "\n";
  168.     }
  169.  
  170.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  171.     {
  172.         constant_pool[class_index] -> Describe(constant_pool);
  173.         Coutput << ".";
  174.         constant_pool[name_and_type_index] -> Describe(constant_pool);
  175.     }
  176. #endif
  177. };
  178.  
  179.  
  180. class CONSTANT_Float_info : public cp_info
  181. {
  182.     //
  183.     //    u1 tag;
  184.     //
  185.     // The tag is inherited from cp_info
  186.     //
  187.     u4 bytes;
  188.  
  189. public:
  190.  
  191.     CONSTANT_Float_info(u1 _tag, u4 _bytes) : cp_info(_tag),
  192.                                               bytes(_bytes)
  193.     {}
  194.     virtual ~CONSTANT_Float_info() {}
  195.  
  196.     virtual void Put(OutputBuffer &output_buffer)
  197.     {
  198.         output_buffer.PutB1(tag);
  199.         output_buffer.PutB4(bytes);
  200.     }
  201.  
  202. #ifdef TEST
  203.     virtual void Print(Tuple<cp_info *> &constant_pool)
  204.     {
  205.         Coutput << "CONSTANT_Float_info: bytes " << (float) bytes << "\n";
  206.     }
  207.  
  208.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  209.     {
  210.         Coutput << "F:";
  211.     }
  212. #endif
  213. };
  214.  
  215.  
  216. class CONSTANT_Integer_info : public cp_info
  217. {
  218.     //
  219.     //    u1 tag;
  220.     //
  221.     // The tag is inherited from cp_info
  222.     //
  223.     u4 bytes;
  224.  
  225. public:
  226.  
  227.     CONSTANT_Integer_info(u1 _tag, u4 _bytes) : cp_info(_tag),
  228.                                                 bytes(_bytes)
  229.     {}
  230.     virtual ~CONSTANT_Integer_info() {}
  231.  
  232.     virtual void Put(OutputBuffer &output_buffer)
  233.     {
  234.         output_buffer.PutB1(tag);
  235.         output_buffer.PutB4(bytes);
  236.     }
  237.  
  238. #ifdef TEST
  239.     virtual void Print(Tuple<cp_info *> &constant_pool)
  240.     {
  241.         int val = ((bytes >> 24) & 0xff) << 24 | ((bytes >> 16) & 0xff) << 16 | ((bytes >> 8) & 0xff) << 8 | (bytes & 0xff);
  242.         Coutput << "CONSTANT_Integer_info: bytes "
  243.                 << val
  244.                 << "\n";
  245.     }
  246.  
  247.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  248.     {
  249.         Coutput << "I:";
  250.     }
  251. #endif
  252. };
  253.  
  254.  
  255. class CONSTANT_InterfaceMethodref_info : public cp_info
  256. {
  257.     //
  258.     //    u1 tag;
  259.     //
  260.     // The tag is inherited from cp_info
  261.     //
  262.     u2 class_index;
  263.     u2 name_and_type_index;
  264.  
  265. public:
  266.  
  267.     CONSTANT_InterfaceMethodref_info(u1 _tag, u2 _class_index, u2 _name_and_type_index) : cp_info(_tag),
  268.                                                                                           class_index(_class_index),
  269.                                                                                           name_and_type_index(_name_and_type_index)
  270.     {}
  271.     virtual ~CONSTANT_InterfaceMethodref_info() {}
  272.  
  273.     virtual void Put(OutputBuffer &output_buffer)
  274.     {
  275.         output_buffer.PutB1(tag);
  276.         output_buffer.PutB2(class_index);
  277.         output_buffer.PutB2(name_and_type_index);
  278.     }
  279.  
  280. #ifdef TEST
  281.     virtual void Print(Tuple<cp_info *> &constant_pool)
  282.     {
  283.         Coutput << "CONSTANT_InterfaceMethodref_info: class_index: "
  284.                 << (unsigned) class_index
  285.                 << ", name_and_type_index: "
  286.                 << (unsigned) name_and_type_index
  287.                 << "\n";
  288.     }
  289.  
  290.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  291.     {
  292.         constant_pool[class_index] -> Describe(constant_pool);
  293.         Coutput << ".";
  294.         constant_pool[name_and_type_index] -> Describe(constant_pool);
  295.     }
  296. #endif
  297. };
  298.  
  299.  
  300. class CONSTANT_Long_info : public cp_info
  301. {
  302.     //
  303.     // u1 tag;
  304.     //
  305.     // The tag is inherited from cp_info
  306.     //
  307.     u4 high_bytes;
  308.     u4 low_bytes;
  309.  
  310. public:
  311.  
  312.     CONSTANT_Long_info(u1 _tag, u4 _high_bytes, u4 _low_bytes) : cp_info(_tag),
  313.                                                                  high_bytes(_high_bytes),
  314.                                                                  low_bytes(_low_bytes)
  315.     {}
  316.     virtual ~CONSTANT_Long_info() {}
  317.  
  318.     virtual void Put(OutputBuffer &output_buffer)
  319.     {
  320.         output_buffer.PutB1(tag);
  321.         output_buffer.PutB4(high_bytes);
  322.         output_buffer.PutB4(low_bytes);
  323.     }
  324.  
  325. #ifdef TEST
  326.     virtual void Print(Tuple<cp_info *> &constant_pool)
  327.     {
  328.         Coutput << "CONSTANT_Long_info: bytes \n";
  329.     }
  330.  
  331.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  332.     {
  333.         Coutput << "L:";
  334.     }
  335. #endif
  336. };
  337.  
  338.  
  339. class CONSTANT_Methodref_info : public cp_info
  340. {
  341.     //
  342.     //    u1 tag;
  343.     //
  344.     // The tag is inherited from cp_info
  345.     //
  346.     u2 class_index;
  347.     u2 name_and_type_index;
  348.  
  349. public:
  350.  
  351.     CONSTANT_Methodref_info(u1 _tag, u2 _class_index, u2 _name_and_type_index) : cp_info(_tag),
  352.                                                                                  class_index(_class_index),
  353.                                                                                  name_and_type_index(_name_and_type_index)
  354.     {}
  355.     virtual ~CONSTANT_Methodref_info() {}
  356.  
  357.     virtual void Put(OutputBuffer &output_buffer)
  358.     {
  359.         output_buffer.PutB1(tag);
  360.         output_buffer.PutB2(class_index);
  361.         output_buffer.PutB2(name_and_type_index);
  362.     }
  363.  
  364. #ifdef TEST
  365.     virtual void Print(Tuple<cp_info *> &constant_pool)
  366.     {
  367.         Coutput << "CONSTANT_Methodref_info: class_index: "
  368.                 << (unsigned) class_index
  369.                 << ", name_and_type_index: "
  370.                 << (unsigned) name_and_type_index
  371.                 << "\n";
  372.     }
  373.  
  374.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  375.     {
  376.         constant_pool[class_index] -> Describe(constant_pool);
  377.         Coutput << ".";
  378.         constant_pool[name_and_type_index] -> Describe(constant_pool);
  379.     }
  380. #endif
  381. };
  382.  
  383.  
  384. class CONSTANT_NameAndType_info : public cp_info
  385. {
  386.     //
  387.     //    u1 tag;
  388.     //
  389.     // The tag is inherited from cp_info
  390.     //
  391.     u2 name_index;
  392.     u2 descriptor_index;
  393.  
  394. public:
  395.  
  396.     CONSTANT_NameAndType_info(u1 _tag, u2 _name_index, u2 _descriptor_index) : cp_info(_tag),
  397.                                                                                name_index(_name_index),
  398.                                                                                descriptor_index(_descriptor_index)
  399.     {}
  400.     virtual ~CONSTANT_NameAndType_info() {}
  401.  
  402.     virtual void Put(OutputBuffer &output_buffer)
  403.     {
  404.         output_buffer.PutB1(tag);
  405.         output_buffer.PutB2(name_index);
  406.         output_buffer.PutB2(descriptor_index);
  407.     }
  408.  
  409. #ifdef TEST
  410.     virtual void Print(Tuple<cp_info *> &constant_pool)
  411.     {
  412.         Coutput << "CONSTANT_NameAndType_info: name_index: "
  413.                 << (unsigned) name_index
  414.                 << ", descriptor_index: "
  415.                 << (unsigned) descriptor_index
  416.                 << "\n";
  417.     }
  418.  
  419.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  420.     {
  421.         constant_pool[name_index] -> Describe(constant_pool);
  422.         Coutput << " ";
  423.         constant_pool[descriptor_index] -> Describe(constant_pool);
  424.     }
  425. #endif
  426. };
  427.  
  428.  
  429. class CONSTANT_String_info : public cp_info
  430. {
  431.     //
  432.     //    u1 tag;
  433.     //
  434.     // The tag is inherited from cp_info
  435.     //
  436.     u2 string_index;
  437.  
  438. public:
  439.     CONSTANT_String_info(u1 _tag, u2 _string_index) : cp_info(_tag),
  440.                                                       string_index(_string_index)
  441.     {}
  442.     virtual ~CONSTANT_String_info() {}
  443.  
  444.     virtual void Put(OutputBuffer &output_buffer)
  445.     {
  446.         output_buffer.PutB1(tag);
  447.         output_buffer.PutB2(string_index);
  448.     }
  449.  
  450. #ifdef TEST
  451.     virtual void Print(Tuple<cp_info *> &constant_pool)
  452.     {
  453.         Coutput << "CONSTANT_String_info: string_index: "
  454.                 << (unsigned) string_index
  455.                 << "\n";
  456.     }
  457.  
  458.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  459.     {
  460.         constant_pool[string_index] -> Describe(constant_pool);
  461.     }
  462. #endif
  463. };
  464.  
  465.  
  466. class CONSTANT_Utf8_info : public cp_info
  467. {
  468.     //
  469.     //    u1 tag;
  470.     //
  471.     // The tag is inherited from cp_info
  472.     //
  473.     u2 length_;
  474.     char *bytes; /* bytes[length + 1] ... after input a '\0' will be added. */
  475.  
  476. public:
  477.  
  478.     CONSTANT_Utf8_info(u1 _tag, char *_bytes, int _length) : cp_info(_tag),
  479.                                                              length_(_length)
  480.     {
  481.         bytes = new char[_length];
  482.         for (int i = 0; i < _length; i++)
  483.             bytes[i] = _bytes[i];
  484.  
  485.         return;
  486.     }
  487.     virtual ~CONSTANT_Utf8_info()
  488.     {
  489.         delete [] bytes;
  490.     }
  491.  
  492.     u2 length() { return length_; }
  493.  
  494.     virtual void Put(OutputBuffer &output_buffer)
  495.     {
  496.         output_buffer.PutB1(tag);
  497.         output_buffer.PutB2(length());
  498.         for (int i = 0; i < length(); i++)
  499.             output_buffer.PutB1(bytes[i]);
  500.     }
  501.  
  502. #ifdef TEST
  503.     virtual void Print(Tuple<cp_info *> &constant_pool)
  504.     {
  505.         Coutput << "CONSTANT_Utf8_info: length: "
  506.                 << (unsigned) length_
  507.                 << " ";
  508.  
  509.         for (int i = 0; i < length_; i++)
  510.             Coutput << (char) bytes[i];
  511.         Coutput << "\n";
  512.     }
  513.  
  514.     virtual void Describe(Tuple<cp_info *> &constant_pool)
  515.     {
  516.         Coutput << "\"";
  517.         for (int i = 0; i < length_; i++)
  518.             Coutput << (char) bytes[i];
  519.         Coutput << "\"";
  520.     }
  521. #endif
  522. };
  523.  
  524.  
  525. //
  526. // field_info and method_info should be defined here, but they contain attributes, so it is necessary
  527. // to define the attributes first.
  528. //
  529.  
  530. class attribute_info
  531. {
  532. protected:
  533.     u1 tag; // this field was added in order to distinguish the attributes...
  534.  
  535.     u2 attribute_name_index;
  536.  
  537.     //
  538.     //    u2 attribute_length;
  539.     //    u1 info[attribute_length];
  540.     //
  541.     // attribute_info can be viewed as a generic (abstract, in Java talk) class that must
  542.     // be "extended" to implement the real attribute objects. The real objects
  543.     // contain the info...
  544.     //
  545.  
  546. public:
  547.     enum
  548.     {
  549.         Generic,
  550.         Code,
  551.         ConstantValue,
  552.         Deprecated,
  553.         Exceptions,
  554.         InnerClasses,
  555.         LineNumberTable,
  556.         LocalVariableTable,
  557.         SourceFile,
  558.         Synthetic
  559.     };
  560.  
  561.     attribute_info(u1 _tag, u2 _name_index) : tag(_tag),
  562.                                               attribute_name_index(_name_index)
  563.     {}
  564.     virtual ~attribute_info() {};
  565.  
  566.     u1 Tag() { return tag; }
  567.     u2 AttributeNameIndex() { return attribute_name_index; }
  568.  
  569.     virtual u4 AttributeLength() { assert(false); return 0; } // abstract method: should not be invoked.
  570.  
  571.     virtual void Put(OutputBuffer &output_buffer) { assert(false); } // abstract method: should not be invoked.
  572.  
  573. #ifdef TEST
  574.     virtual void Print(Tuple<cp_info *> &constant_pool)
  575.     {
  576.         Coutput << "print for attribute info tag "
  577.                 << (unsigned) tag
  578.                 << " not defined\n";
  579.         Coutput.flush();
  580.         assert(false); // abstract method: should not be invoked.
  581.     }
  582. #endif
  583. };
  584.  
  585.  
  586. class Code_attribute : public attribute_info
  587. {
  588.     //
  589.     //    u2 attribute_name_index;
  590.     //
  591.     // The attribut_name_index is inherited from attribute_info
  592.     //
  593.     u4 attribute_length;
  594.     u2 max_stack;
  595.     u2 max_locals;
  596.  
  597.     //
  598.     //    u4 code_length;
  599.     //
  600.     // code_length can be computed as code.Length();
  601.     //
  602.     Tuple<u1> code; /* code[code_length] */
  603.  
  604.     //
  605.     //    u2 exception_table_length;
  606.     //
  607.     // exception_table_length can be computed as exception_table.Length();
  608.     //
  609.     struct ExceptionElement
  610.     {
  611.         u2 start_pc;
  612.         u2 end_pc;
  613.         u2 handler_pc;
  614.         u2 catch_type;
  615.     };
  616.     Tuple<ExceptionElement> exception_table; /* exceptiontable[exception_table_length] */
  617.  
  618.     //
  619.     //    u2 attribute_count;
  620.     //
  621.     // attribute_count can be computed as attributes.Length();
  622.     //
  623.     Tuple<attribute_info *> attributes; /* attributes[attributes_count] */
  624.  
  625. public:
  626.  
  627.     Code_attribute(u2 _name_index, u2 _max_locals) : attribute_info(Code, _name_index),
  628.                                                      code(8, 4),
  629.                                                      exception_table(6, 16),
  630.                                                      attributes(6, 16),
  631.                                                      max_stack(0),
  632.                                                      max_locals(_max_locals),
  633.                                                      attribute_length(0)
  634.     {}
  635.     virtual ~Code_attribute()
  636.     {
  637.         for (int i = 0; i < attributes.Length(); i++)
  638.             delete attributes[i];
  639.     }
  640.  
  641.     virtual u4 AttributeLength()
  642.     {
  643.         if (attribute_length == 0) // if not yet computed...
  644.         {
  645.             attribute_length = + 2                            // for max_stack
  646.                                + 2                            // for max_locals
  647.                                + 4                            // for code_length
  648.                                + code.Length()                // for code
  649.                                + 2                            // for exception_table_length
  650.                                + exception_table.Length() * 8 // for exception table
  651.                                + 2;                            // for attributes_count
  652.             //
  653.             // std. fields of attribute_info
  654.             //
  655.             for (int i = 0; i < attributes.Length(); i++)
  656.             {
  657.                 if (attributes[i] -> AttributeLength() > 0)
  658.                     attribute_length += (attributes[i] -> AttributeLength() + 6);
  659.             }
  660.         }
  661.  
  662.         return attribute_length;
  663.     }
  664.  
  665.     u2 MaxStack() { return max_stack; }
  666.     void SetMaxStack(u2 val) { max_stack = val; }
  667.  
  668.     u2 MaxLocals() { return max_locals; }
  669.     void ResetMaxLocals(u2 val) { max_locals = val; }
  670.  
  671.     u2 CodeLength() { return code.Length(); }
  672.  
  673.     void ResetCode(int i, u1 byte)
  674.     {
  675.         code[i] = byte;
  676.     }
  677.  
  678.     void AddCode(u1 byte)
  679.     {
  680.         code.Next() = byte;
  681.     }
  682.  
  683.     u2 ExceptionTableLength() { return exception_table.Length(); }
  684.  
  685.     void AddException(u2 start_pc, u2 end_pc, u2 handler_pc, u2 catch_type)
  686.     {
  687.         int exception_index = exception_table.NextIndex();
  688.  
  689.         exception_table[exception_index].start_pc = start_pc;
  690.         exception_table[exception_index].end_pc = end_pc;
  691.         exception_table[exception_index].handler_pc = handler_pc;
  692.         exception_table[exception_index].catch_type = catch_type;
  693.     }
  694.  
  695.     u2 AttributesCount() { return attributes.Length(); }
  696.  
  697.     void AddAttribute(attribute_info *attribute)
  698.     {
  699.         attributes.Next() = attribute;
  700.     }
  701.  
  702.     virtual void Put(OutputBuffer &output_buffer)
  703.     {
  704.         assert(attribute_name_index != 0);
  705.  
  706.         output_buffer.PutB2(attribute_name_index);
  707.         output_buffer.PutB4(AttributeLength());
  708.         output_buffer.PutB2(max_stack);
  709.         output_buffer.PutB2(max_locals);
  710.         output_buffer.PutB4(code.Length());
  711.  
  712.         for (int i = 0; i < code.Length(); i++)
  713.             output_buffer.PutB1(code[i]);
  714.         output_buffer.PutB2(exception_table.Length());
  715.  
  716.         for (int j = 0; j < exception_table.Length(); j++)
  717.         {
  718.             output_buffer.PutB2(exception_table[j].start_pc);
  719.             output_buffer.PutB2(exception_table[j].end_pc);
  720.             output_buffer.PutB2(exception_table[j].handler_pc);
  721.             output_buffer.PutB2(exception_table[j].catch_type);
  722.         }
  723.  
  724.         output_buffer.PutB2(attributes.Length());
  725.         for (int k = 0; k < attributes.Length(); k++)
  726.             attributes[k] -> Put(output_buffer);
  727.  
  728.         return;
  729.     }
  730.  
  731. #ifdef TEST
  732.     virtual void  Print(Tuple<cp_info *> &constant_pool)
  733.     {
  734.         Coutput << "Code_attribute attribute_name_index "
  735.                 << (unsigned) attribute_name_index
  736.                 << " attribute_length "
  737.                 << (unsigned) attribute_length
  738.                 << "\n"
  739.                 << " max_stack "
  740.                 << (unsigned) max_stack
  741.                 << " max_locals "
  742.                 << (unsigned) max_locals
  743.                 << " code_length "
  744.                 << code.Length()
  745.                 << "\n";
  746.  
  747.         if (exception_table.Length())
  748.         {
  749.             Coutput << " exception_table: " << exception_table.Length() << " entries\n";
  750.             for (int i  = 0; i < exception_table.Length(); i++)
  751.             {
  752.                 Coutput << "  start_pc "
  753.                         << (unsigned) exception_table[i].start_pc
  754.                         << "  end_pc "
  755.                         << (unsigned) exception_table[i].end_pc
  756.                         << "  handler_pc "
  757.                         << (unsigned) exception_table[i].handler_pc
  758.                         << "  catch_type "
  759.                         << (unsigned) exception_table[i].catch_type
  760.                         << "\n";
  761.             }
  762.         }
  763.  
  764.         Operators::opdmp(constant_pool, code);
  765.  
  766.         Coutput << "  \n";
  767.  
  768.         for (int i = 0; i < attributes.Length(); i++)
  769.             attributes[i] -> Print(constant_pool);
  770.     }
  771. #endif
  772. };
  773.  
  774.  
  775. class ConstantValue_attribute : public attribute_info
  776. {
  777.     //
  778.     //    u2 attribute_name_index;
  779.     //
  780.     // The field attribute_name_index is inherited from attribute_info
  781.     //
  782.     //    u4 attribute_length;
  783.     //
  784.     // The value of attribute_length is always 2
  785.     //
  786.     u2 constantvalue_index;
  787.  
  788. public:
  789.  
  790.     ConstantValue_attribute(u2 _name_index, u2 _constantvalue_index) : attribute_info(ConstantValue, _name_index),
  791.                                                                        constantvalue_index(_constantvalue_index)
  792.     {}
  793.     virtual ~ConstantValue_attribute() {}
  794.  
  795.     virtual u4 AttributeLength() { return 2; }
  796.  
  797.     virtual void Put(OutputBuffer &output_buffer)
  798.     {
  799.         assert(attribute_name_index != 0);
  800.  
  801.         output_buffer.PutB2(attribute_name_index);
  802.         output_buffer.PutB4(AttributeLength());
  803.         output_buffer.PutB2(constantvalue_index);
  804.     }
  805.  
  806. #ifdef TEST
  807.     virtual void Print(Tuple<cp_info *> &constant_pool)
  808.     {
  809.         Coutput << "ConstantValue_attribute attribute_name_index "
  810.                 << (unsigned) attribute_name_index
  811.                 << " attribute_length "
  812.                 << AttributeLength()
  813.                 << " constantvalue_index "
  814.                 << (unsigned) constantvalue_index
  815.                 << "\n";
  816.     }
  817. #endif
  818. };
  819.  
  820.  
  821. class Exceptions_attribute : public attribute_info
  822. {
  823.     //
  824.     //    u2 attribute_name_index;
  825.     //
  826.     // The fields attribute_name_index is inherited from attribute_info
  827.     //
  828.     //    u4 attribute_length;
  829.     //
  830.     // The value of attribute_length is derived from the exception_index_table. See below
  831.     //
  832.     //    u2 number_of_exceptions;
  833.     //
  834.     // The value of number_of_exceptions is derived from the exception_index_table. See below
  835.     //
  836.  
  837.     Tuple<u2> exception_index_table; /* exception_index_table[number_of_exceptions] */
  838.  
  839. public:
  840.  
  841.     Exceptions_attribute(u2 _name_index) : attribute_info(Exceptions, _name_index)
  842.     {}
  843.     virtual ~Exceptions_attribute() {}
  844.  
  845.     virtual u4 AttributeLength()
  846.     {
  847.         return exception_index_table.Length() * 2 + 2;
  848.     }
  849.  
  850.     u2 NumberOfExceptions() { return exception_index_table.Length(); }
  851.  
  852.     void AddExceptionIndex(u2 index)
  853.     {
  854.         exception_index_table.Next() = index;
  855.     }
  856.  
  857.     virtual void Put(OutputBuffer &output_buffer)
  858.     {
  859.         assert(attribute_name_index != 0);
  860.  
  861.         output_buffer.PutB2(attribute_name_index);
  862.         output_buffer.PutB4(AttributeLength());
  863.         output_buffer.PutB2(exception_index_table.Length());
  864.         for (int i = 0; i < exception_index_table.Length(); i++)
  865.             output_buffer.PutB2(exception_index_table[i]);
  866.     }
  867.  
  868. #ifdef TEST
  869.     virtual void Print(Tuple<cp_info *> &constant_pool)
  870.     {
  871.         Coutput << "Exceptions_attribute attribute_name_index "
  872.                 << (unsigned) attribute_name_index
  873.                 << " attribute_length "
  874.                 << AttributeLength()
  875.                 << "\n";
  876.  
  877.         for (int i = 0; i < exception_index_table.Length(); i++)
  878.             Coutput << "    "
  879.                     << (unsigned) exception_index_table[i];
  880.         Coutput << "\n";
  881.     }
  882. #endif
  883. };
  884.  
  885.  
  886. class InnerClasses_attribute : public attribute_info
  887. {
  888.     //
  889.     //    u2 attribute_name_index;
  890.     //
  891.     // The fields attribute_name_index is inherited from attribute_info
  892.     //
  893.     //    u4 attribute_length;
  894.     //
  895.     // The value of attribute_length is derived from inner_classes. See below
  896.     //
  897.     //    u2 number_of_classes;
  898.     //
  899.     // The value of number_of_classes is derived from inner_classes. See below
  900.     //
  901.  
  902.     struct inner_classes_element
  903.     {
  904.         u2 inner_class_info_index;
  905.         u2 outer_class_info_index;
  906.         u2 inner_name_index;
  907.         u2 inner_class_access_flags;
  908.     };
  909.     Tuple<inner_classes_element> inner_classes; /* inner_classes_table[inner_classes_table_length] */
  910.  
  911. public:
  912.  
  913.     InnerClasses_attribute(u2 _name_index) : attribute_info(InnerClasses, _name_index),
  914.                                              inner_classes(6, 16)
  915.     {}
  916.     virtual ~InnerClasses_attribute() {}
  917.  
  918.     virtual u4 AttributeLength()
  919.     {
  920.         return inner_classes.Length() * 8 + 2;
  921.     }
  922.  
  923.     u2 InnerClassesLength() { return inner_classes.Length();}
  924.  
  925.     void AddInnerClass(u2 inner_class_info_index, u2 outer_class_info_index, u2 inner_name_index, u2 inner_class_access_flags)
  926.     {
  927.         int index = inner_classes.NextIndex();
  928.  
  929.         inner_classes[index].inner_class_info_index = inner_class_info_index;
  930.         inner_classes[index].outer_class_info_index = outer_class_info_index;
  931.         inner_classes[index].inner_name_index = inner_name_index;
  932.         inner_classes[index].inner_class_access_flags = inner_class_access_flags;
  933.     }
  934.  
  935.     virtual void Put(OutputBuffer &output_buffer)
  936.     {
  937.         assert(attribute_name_index != 0);
  938.  
  939.         output_buffer.PutB2(attribute_name_index);
  940.         output_buffer.PutB4(AttributeLength());
  941.         output_buffer.PutB2(inner_classes.Length());
  942.         for (int i = 0; i < inner_classes.Length(); i++)
  943.         {
  944.             output_buffer.PutB2(inner_classes[i].inner_class_info_index);
  945.             output_buffer.PutB2(inner_classes[i].outer_class_info_index);
  946.             output_buffer.PutB2(inner_classes[i].inner_name_index);
  947.             output_buffer.PutB2(inner_classes[i].inner_class_access_flags);
  948.         }
  949.     }
  950.  
  951. #ifdef TEST
  952.     virtual void Print(Tuple<cp_info *> &constant_pool)
  953.     {
  954.         Coutput << "InnerClasses_attribute attribute_name_index "
  955.                 << (unsigned) attribute_name_index
  956.                 << " attribute_length "
  957.                 << AttributeLength()
  958.                 << "\n"
  959.                 << " inner_classes_length "
  960.                 << inner_classes.Length()
  961.                 << "\n";
  962.  
  963.         for (int i = 0; i < inner_classes.Length(); i++)
  964.         {
  965.             Coutput << "     "
  966.                     << i
  967.                     << "  inner_class_info_index "
  968.                     << (unsigned) inner_classes[i].inner_class_info_index
  969.                     << "  outer_class_info_index "
  970.                     << (unsigned) inner_classes[i].outer_class_info_index
  971.                     << "  inner_name_index "
  972.                     << (unsigned) inner_classes[i].inner_name_index
  973.                     << "  inner_class_access_flags "
  974.                     << (unsigned) inner_classes[i].inner_class_access_flags
  975.                     << "\n";
  976.         }
  977.     }
  978. #endif
  979. };
  980.  
  981.  
  982. class LineNumberTable_attribute : public attribute_info
  983. {
  984.     //
  985.     //    u2 attribute_name_index;
  986.     //
  987.     // The fields attribute_name_index is inherited from attribute_info
  988.     //
  989.     //    u4 attribute_length;
  990.     //
  991.     // The value of attribute_length is derived from line_number_table. See below
  992.     //
  993.     //    u2 line_number_table_length;
  994.     //
  995.     // The value of line_number_table_length is derived from line_number_table. See below
  996.     //
  997.  
  998.     struct line_number_element
  999.     {
  1000.         u2 start_pc;
  1001.         u2 line_number;
  1002.     };
  1003.     Tuple<line_number_element> line_number_table; /* line_number_table[line_number_table_length] */
  1004.  
  1005. public:
  1006.  
  1007.     LineNumberTable_attribute(u2 _name_index) : attribute_info(LineNumberTable, _name_index),
  1008.                                                 line_number_table(6, 16)
  1009.     {}
  1010.     virtual ~LineNumberTable_attribute() {}
  1011.  
  1012.     virtual u4 AttributeLength()
  1013.     {
  1014.         return line_number_table.Length() * 4 + 2;
  1015.     }
  1016.  
  1017.     u2 LineNumberTableLength()
  1018.     {
  1019.         return line_number_table.Length();
  1020.     }
  1021.  
  1022.     void AddLineNumber(u2 start_pc, u2 line_number)
  1023.     {
  1024.         int line_number_index = line_number_table.NextIndex();
  1025.  
  1026.         line_number_table[line_number_index].start_pc = start_pc;
  1027.         line_number_table[line_number_index].line_number = line_number;
  1028.     }
  1029.  
  1030.     virtual void Put(OutputBuffer &output_buffer)
  1031.     {
  1032.         assert(attribute_name_index != 0);
  1033.  
  1034.         output_buffer.PutB2(attribute_name_index);
  1035.         output_buffer.PutB4(AttributeLength());
  1036.         output_buffer.PutB2(line_number_table.Length());
  1037.         for (int i = 0; i < line_number_table.Length(); i++)
  1038.         {
  1039.             output_buffer.PutB2(line_number_table[i].start_pc);
  1040.             output_buffer.PutB2(line_number_table[i].line_number);
  1041.         }
  1042.     }
  1043.  
  1044. #ifdef TEST
  1045.     virtual void Print(Tuple<cp_info *> &constant_pool)
  1046.      {
  1047.         Coutput << "LineNumberTable_attribute attribute_name_index "
  1048.                 << (unsigned) attribute_name_index
  1049.                 << " attribute_length "
  1050.                 << AttributeLength()
  1051.                 << "\n"
  1052.                 << " line_number_table_length "
  1053.                 << line_number_table.Length()
  1054.                 << "\n";
  1055.  
  1056.         for (int i = 0; i < line_number_table.Length(); i++)
  1057.         {
  1058.             Coutput << "     "
  1059.                     << i
  1060.                     << "  start_pc "
  1061.                     << (unsigned) line_number_table[i].start_pc
  1062.                     << "  line_number "
  1063.                     << (unsigned) line_number_table[i].line_number
  1064.                     << "\n";
  1065.         }
  1066.     }
  1067. #endif
  1068. };
  1069.  
  1070.  
  1071. class LocalVariableTable_attribute : public attribute_info
  1072. {
  1073.     //
  1074.     //    u2 attribute_name_index;
  1075.     //
  1076.     // The fields attribute_name_index is inherited from attribute_info
  1077.     //
  1078.     //    u4 attribute_length;
  1079.     //
  1080.     // The value of attribute_length is derived from local_variable_table. See below
  1081.     //
  1082.     //    u2 local_variable_length;
  1083.     //
  1084.     // The value of local_variable_length is derived from local_variable_length. See below
  1085.     //
  1086.  
  1087.     struct local_variable_element
  1088.     {
  1089.         u2 start_pc;
  1090.         u2 length;
  1091.         u2 name_index;
  1092.         u2 descriptor_index;
  1093.         u2 index;
  1094.     };
  1095.     Tuple<local_variable_element> local_variable_table; /* local_variable_table[local_variable_table_length] */
  1096.  
  1097. public:
  1098.  
  1099.     LocalVariableTable_attribute(u2 _name_index) : attribute_info(LocalVariableTable, _name_index)
  1100.     {}
  1101.     virtual ~LocalVariableTable_attribute() {}
  1102.  
  1103.     virtual u4 AttributeLength()
  1104.     {
  1105.         return local_variable_table.Length() * 10 + 2;
  1106.     }
  1107.  
  1108.     u2 LocalVariableTableLength() { return local_variable_table.Length(); }
  1109.  
  1110.     //
  1111.     // make entry in local variable table
  1112.     //
  1113.     void AddLocalVariable(u2 start, u2 length, u2 name, u2 descriptor, u2 index)
  1114.     {
  1115.         int local_index = local_variable_table.NextIndex();
  1116.  
  1117.         local_variable_table[local_index].start_pc = start;
  1118.         local_variable_table[local_index].length = length;
  1119.         local_variable_table[local_index].name_index = name;
  1120.         local_variable_table[local_index].descriptor_index = descriptor;
  1121.         local_variable_table[local_index].index = index;
  1122.  
  1123.         return;
  1124.     }
  1125.  
  1126.     virtual void Put(OutputBuffer &output_buffer)
  1127.     {
  1128.         assert(attribute_name_index != 0);
  1129.  
  1130.         output_buffer.PutB2(attribute_name_index);
  1131.         output_buffer.PutB4(AttributeLength());
  1132.         output_buffer.PutB2(local_variable_table.Length());
  1133.         for (int i = 0; i < local_variable_table.Length(); i++)
  1134.         {
  1135.             output_buffer.PutB2(local_variable_table[i].start_pc);
  1136.             output_buffer.PutB2(local_variable_table[i].length);
  1137.             output_buffer.PutB2(local_variable_table[i].name_index);
  1138.             output_buffer.PutB2(local_variable_table[i].descriptor_index);
  1139.             output_buffer.PutB2(local_variable_table[i].index);
  1140.         }
  1141.     }
  1142.  
  1143. #ifdef TEST
  1144.     virtual void Print(Tuple<cp_info *> &constant_pool)
  1145.     {
  1146.         Coutput << "LocalVariableTable_attribute attribute_name_index "
  1147.                 << (unsigned) attribute_name_index
  1148.                 << " attribute_length "
  1149.                 << AttributeLength()
  1150.                 << "\n"
  1151.                 << " local_variable_table_length "
  1152.                 << local_variable_table.Length()
  1153.                 << "\n";
  1154.  
  1155.         for (int i = 0; i < local_variable_table.Length(); i++)
  1156.         {
  1157.             Coutput << "     "
  1158.                     << i
  1159.                     << "  start_pc "
  1160.                     << (unsigned) local_variable_table[i].start_pc
  1161.                     << "  length "
  1162.                     << (unsigned) local_variable_table[i].length
  1163.                     << "  name_index "
  1164.                     << (unsigned) local_variable_table[i].name_index
  1165.                     << "  descriptor_index "
  1166.                     << (unsigned) local_variable_table[i].descriptor_index
  1167.                     << "  index "
  1168.                     << (unsigned) local_variable_table[i].index
  1169.                     << "\n";
  1170.         }
  1171.     }
  1172. #endif
  1173. };
  1174.  
  1175.  
  1176. class SourceFile_attribute : public attribute_info
  1177. {
  1178.     //
  1179.     //    u2 attribute_name_index;
  1180.     //
  1181.     // The fields attribute_name_index is inherited from attribute_info
  1182.     //
  1183.     // The attribute_length is always 2.
  1184.     //
  1185.     u2 sourcefile_index;
  1186.  
  1187. public:
  1188.  
  1189.     SourceFile_attribute(u2 _name_index, u2 _sourcefile_index) : attribute_info(SourceFile, _name_index),
  1190.                                                                  sourcefile_index(_sourcefile_index)
  1191.     {}
  1192.     virtual ~SourceFile_attribute() {}
  1193.  
  1194.     virtual u4 AttributeLength() { return 2; }
  1195.  
  1196.     virtual void Put(OutputBuffer &output_buffer)
  1197.     {
  1198.         assert(attribute_name_index != 0);
  1199.  
  1200.         output_buffer.PutB2(attribute_name_index);
  1201.         output_buffer.PutB4(AttributeLength());
  1202.         output_buffer.PutB2(sourcefile_index);
  1203.     }
  1204.  
  1205. #ifdef TEST
  1206.     virtual void Print(Tuple<cp_info *> &constant_pool)
  1207.     {
  1208.         Coutput << "SourceFile_attribute attribute_name_index "
  1209.                 << (unsigned) attribute_name_index
  1210.                 << " length "
  1211.                 << AttributeLength()
  1212.                 << " sourcefile_index "
  1213.                 << (unsigned) sourcefile_index
  1214.                 << "\n";
  1215.     }
  1216. #endif
  1217. };
  1218.  
  1219.  
  1220. class Synthetic_attribute : public attribute_info
  1221. {
  1222.     //
  1223.     //    u2 attribute_name_index;
  1224.     //
  1225.     // The fields attribute_name_index and attribute_length are inherited from attribute_info
  1226.     //
  1227.     // The attribute_length is always 0.
  1228.     //
  1229.  
  1230. public:
  1231.  
  1232.     Synthetic_attribute(u2 _name_index) : attribute_info(Synthetic, _name_index)
  1233.     {}
  1234.     virtual ~Synthetic_attribute() {}
  1235.  
  1236.     virtual u4 AttributeLength() { return 0; }
  1237.  
  1238.     virtual void Put(OutputBuffer &output_buffer)
  1239.     {
  1240.         assert(attribute_name_index != 0);
  1241.  
  1242.         output_buffer.PutB2(attribute_name_index);
  1243.         output_buffer.PutB4(AttributeLength());
  1244.     }
  1245.  
  1246. #ifdef TEST
  1247.     virtual void Print(Tuple<cp_info *> &constant_pool)
  1248.     {
  1249.         Coutput << "Synthetic_attribute attribute_name_index "
  1250.                 << (unsigned) attribute_name_index
  1251.                 << " length "
  1252.                 << AttributeLength()
  1253.                 << "\n";
  1254.     }
  1255. #endif
  1256. };
  1257.  
  1258.  
  1259. class Deprecated_attribute : public attribute_info
  1260. {
  1261.     //
  1262.     //    u2 attribute_name_index;
  1263.     //
  1264.     // The fields attribute_name_index and attribute_length are inherited from attribute_info
  1265.     //
  1266.     // The attribute_length is always 0.
  1267.     //
  1268.  
  1269. public:
  1270.  
  1271.     Deprecated_attribute(u2 _name_index) : attribute_info(Deprecated, _name_index)
  1272.     {}
  1273.     virtual ~Deprecated_attribute() {}
  1274.  
  1275.     virtual u4 AttributeLength() { return 0; }
  1276.  
  1277.     virtual void Put(OutputBuffer &output_buffer)
  1278.     {
  1279.         assert(attribute_name_index != 0);
  1280.  
  1281.         output_buffer.PutB2(attribute_name_index);
  1282.         output_buffer.PutB4(AttributeLength());
  1283.     }
  1284.  
  1285. #ifdef TEST
  1286.     virtual void Print(Tuple<cp_info *> &constant_pool)
  1287.     {
  1288.         Coutput << "Deprecated_attribute attribute_name_index "
  1289.                 << (unsigned) attribute_name_index
  1290.                 << " length "
  1291.                 << AttributeLength()
  1292.                 << "\n";
  1293.     }
  1294. #endif
  1295. };
  1296.  
  1297.  
  1298. class field_info : public AccessFlags
  1299. {
  1300.     //
  1301.     // u2 access_flags;
  1302.     //
  1303.     // The access_flags is inherited from AccessFlags
  1304.     //
  1305.     u2 name_index;
  1306.     u2 descriptor_index;
  1307.  
  1308.     //
  1309.     // attributes_count can be computed as attributes.Length();
  1310.     //
  1311.     Tuple<attribute_info *> attributes; /* attributes[attributes_count] */
  1312.  
  1313. public:
  1314.  
  1315.      ~field_info()
  1316.      {
  1317.          for (int i = 0; i < attributes.Length(); i++)
  1318.              delete attributes[i];
  1319.      }
  1320.  
  1321.     inline void SetNameIndex(u2 _name_index) { name_index = _name_index; }
  1322.     inline void SetDescriptorIndex(u2 _descriptor_index) { descriptor_index = _descriptor_index; }
  1323.  
  1324.     inline u2 AttributesCount() { return attributes.Length(); }
  1325.     inline void AddAttribute(attribute_info *attribute) { attributes.Next() = attribute; }
  1326.  
  1327.     inline void Put(OutputBuffer &output_buffer)
  1328.     {
  1329.         output_buffer.PutB2(access_flags);
  1330.         output_buffer.PutB2(name_index);
  1331.         output_buffer.PutB2(descriptor_index);
  1332.         output_buffer.PutB2(attributes.Length());
  1333.  
  1334.         for (int ai = 0; ai < attributes.Length(); ai++)
  1335.             attributes[ai] -> Put(output_buffer);
  1336.     }
  1337.  
  1338. #ifdef TEST
  1339.     void Print(Tuple<cp_info *> &constant_pool)
  1340.     {
  1341.         Coutput << "field_info  name_index "
  1342.                 << (unsigned) name_index
  1343.                 << "  descriptor_index "
  1344.                 << (unsigned) descriptor_index
  1345.                 << "\n";
  1346.  
  1347.         AccessFlags::Print();
  1348.  
  1349.         for (int i = 0; i < attributes.Length(); i++)
  1350.             attributes[i] -> Print(constant_pool);
  1351.         Coutput << "\n";
  1352.     }
  1353. #endif
  1354. };
  1355.  
  1356.  
  1357. class method_info : public AccessFlags
  1358. {
  1359.     //
  1360.     // u2 access_flags;
  1361.     //
  1362.     // The access_flags is inherited from AccessFlags
  1363.     //
  1364.     u2 name_index;
  1365.     u2 descriptor_index;
  1366.  
  1367.     //
  1368.     // attributes_count can be computed as attributes.Length();
  1369.     //
  1370.     Tuple<attribute_info *> attributes; /* attributes[attributes_count] */
  1371.  
  1372. public:
  1373.  
  1374.     ~method_info()
  1375.     {
  1376.         for (int i = 0; i < attributes.Length(); i++)
  1377.             delete attributes[i];
  1378.     }
  1379.  
  1380.     inline void SetNameIndex(u2 _name_index) { name_index = _name_index; }
  1381.     inline void SetDescriptorIndex(u2 _descriptor_index) { descriptor_index = _descriptor_index; }
  1382.  
  1383.     inline u2 AttributesCount() { return attributes.Length(); }
  1384.     inline void AddAttribute(attribute_info *attribute) { attributes.Next() = attribute; }
  1385.  
  1386.     inline void Put(OutputBuffer &output_buffer)
  1387.     {
  1388.         output_buffer.PutB2(access_flags);
  1389.         output_buffer.PutB2(name_index);
  1390.         output_buffer.PutB2(descriptor_index);
  1391.         output_buffer.PutB2(attributes.Length());
  1392.  
  1393.         for (int i = 0; i < attributes.Length(); i++)
  1394.             attributes[i] -> Put(output_buffer);
  1395.     }
  1396.  
  1397. #ifdef TEST
  1398.      void Print(Tuple<cp_info *> &constant_pool)
  1399.      {
  1400.         Coutput << "method_info  name_index "
  1401.                 << (unsigned) name_index
  1402.                 << "  descriptor_index "
  1403.                 << (unsigned) descriptor_index
  1404.                 << "\n";
  1405.  
  1406.         AccessFlags::Print();
  1407.  
  1408.         for (int i = 0; i < attributes.Length(); i++)
  1409.             attributes[i] -> Print(constant_pool);
  1410.         Coutput << "\n";
  1411.     }
  1412. #endif
  1413. };
  1414.  
  1415.  
  1416. class ClassFile : public AccessFlags
  1417. {
  1418. public:
  1419.     enum ConstantKind
  1420.     {
  1421.         CONSTANT_Class              = 7,
  1422.         CONSTANT_Fieldref           = 9,
  1423.         CONSTANT_Methodref          = 10,
  1424.         CONSTANT_InterfaceMethodref = 11,
  1425.         CONSTANT_String             = 8,
  1426.         CONSTANT_Integer            = 3,
  1427.         CONSTANT_Float              = 4,
  1428.         CONSTANT_Long               = 5,
  1429.         CONSTANT_Double             = 6,
  1430.         CONSTANT_NameAndType        = 12,
  1431.         CONSTANT_Utf8               = 1
  1432.     };
  1433.  
  1434.     u4 magic;
  1435.     u2 minor_version;
  1436.     u2 major_version;
  1437.     u2 ConstantPoolCount() { return constant_pool.Length(); }
  1438.     Tuple<cp_info *> constant_pool; /* cp_info[constant_pool_count] */
  1439.     //
  1440.     // u2 access_flags;
  1441.     //
  1442.     // The access_flags is inherited from AccessFlags
  1443.     //
  1444.     u2 this_class;
  1445.     u2 super_class;
  1446.     u2 InterfacesCount() { return interfaces.Length(); }
  1447.     Tuple<u2> interfaces; /* interfaces[interfaces_count] */
  1448.     u2 FieldsCount() { return fields.Length(); }
  1449.     Tuple<field_info> fields; /* fields[fields_count] */
  1450.     u2 MethodsCount() { return methods.Length();}
  1451.     Tuple<method_info> methods; /* methods[methods_count] */
  1452.     u2 AttributesCount() { return attributes.Length(); }
  1453.     Tuple<attribute_info *> attributes; /* attributes[attributes_count] */
  1454.  
  1455.     ClassFile(TypeSymbol *unit_type_) : unit_type(unit_type_),
  1456.                                         constant_pool(8, 4),
  1457.                                         fields(6, 16),
  1458.                                         methods(6, 16)
  1459.     {}
  1460.  
  1461.     ~ClassFile()
  1462.     {
  1463.         for (int i = 1; i < constant_pool.Length(); i++)
  1464.             delete constant_pool[i];
  1465.  
  1466.         for (int j = 0; j < attributes.Length(); j++)
  1467.             delete attributes[j];
  1468.  
  1469.         return;
  1470.     }
  1471.  
  1472.     void Write()
  1473.     {
  1474.         Semantic *sem = unit_type -> semantic_environment -> sem;
  1475.         Control &control = sem -> control;
  1476.  
  1477.         if (! control.option.nowrite)
  1478.         {
  1479.             output_buffer.PutB4(magic);
  1480.             output_buffer.PutB2(minor_version);
  1481.             output_buffer.PutB2(major_version);
  1482.  
  1483.             //
  1484.             // write constant pool
  1485.             //
  1486.             output_buffer.PutB2(constant_pool.Length());
  1487.             for (int i = 1; i < constant_pool.Length(); i++)
  1488.             {
  1489.                 assert(constant_pool[i]);
  1490.  
  1491.                 constant_pool[i] -> Put(output_buffer);
  1492.                 if (constant_pool[i] -> Tag()  ==  CONSTANT_Long || constant_pool[i] -> Tag()  ==  CONSTANT_Double)
  1493.                     i++;; // skip the next entry for eight-byte constants
  1494.             }
  1495.  
  1496.             output_buffer.PutB2(access_flags);
  1497.             output_buffer.PutB2(this_class);
  1498.             output_buffer.PutB2(super_class);
  1499.  
  1500.             //
  1501.             // write interfaces
  1502.             //
  1503.             output_buffer.PutB2(interfaces.Length());
  1504.             for (int j = 0; j < interfaces.Length(); j++)
  1505.                 output_buffer.PutB2(interfaces[j]);
  1506.  
  1507.             //
  1508.             // write field members
  1509.             //
  1510.             output_buffer.PutB2(fields.Length());
  1511.             for (int k = 0; k < fields.Length(); k++)
  1512.                 fields[k].Put(output_buffer);
  1513.  
  1514.             //
  1515.             // write method members
  1516.             //
  1517.             output_buffer.PutB2(methods.Length());
  1518.             for (int l = 0; l < methods.Length(); l++)
  1519.                 methods[l].Put(output_buffer);
  1520.  
  1521.             //
  1522.             // write attributes
  1523.             //
  1524.             output_buffer.PutB2(attributes.Length());
  1525.             for (int m = 0; m < attributes.Length(); m++)
  1526.                 attributes[m] -> Put(output_buffer);
  1527.  
  1528.             char *class_file_name = unit_type -> ClassName();
  1529.             if (control.option.verbose)
  1530.             {
  1531.                 Coutput << "[write "
  1532.                         << class_file_name
  1533.                         << "]\n";
  1534.             }
  1535.  
  1536.             if (! output_buffer.WriteToFile(class_file_name))
  1537.             {
  1538.                 int length = strlen(class_file_name);
  1539.                 wchar_t *name = new wchar_t[length + 1];
  1540.                 for (int i = 0; i < length; i++)
  1541.                     name[i] = class_file_name[i];
  1542.                 name[length] = U_NULL;
  1543.  
  1544.                 sem -> ReportSemError(SemanticError::CANNOT_WRITE_FILE,
  1545.                                      unit_type -> declaration -> LeftToken(),
  1546.                                      unit_type -> declaration -> RightToken(),
  1547.                                      name);
  1548.                 delete [] name;
  1549.             }
  1550.         }
  1551.  
  1552.         return;
  1553.     }
  1554.  
  1555. protected:
  1556.     TypeSymbol *unit_type;
  1557.     OutputBuffer output_buffer;
  1558. };
  1559. #endif
  1560.